1. Hardware and software
پدیدآورنده : \ Nir Piterman (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Computer networks,Software engineering,کامپیوتر,شبکههای کامپیوتری,نرمافزار, -- مهندسی,a04,a06,a03,a04,a06,a03
رده :
QA
76
.
I58
H32
2015
E-Book
,
2. Tools and algorithms for the construction and analysis of systems
پدیدآورنده : Nir Piterman, Scott A. Smolka (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Verification, Congresses,System analysis, Congresses,System design, Congresses
رده :
QA76
.
9
.
S88
T33
2013
